TAGs: find integer solutions